According to @AveryChing, public-source ADL code on decentralized perpetuals exchanges lets traders know exactly how forced deleveraging will execute, with code-as-documentation and formal verification enabling solvency proofs that centralized exchanges cannot match. Source: https://twitter.com/AveryChing/status/1999009962941632833 Tarun Chitra stated that decentralized perpetuals exchanges should publish verifiable ADL policies and said Hyperliquid’s ADL is not public. Source: https://x.com/tarunchitra/status/1998985138789838914 This transparency directly reduces uncertainty around liquidation events and solvency for perp DEX participants, making ADL policy disclosure a trading-relevant exchange selection factor, per @AveryChing. Source: https://twitter.com/AveryChing/status/1999009962941632833

According to @1HowardWu, a recent talk at Zero Knowledge FM highlighted AleoHQ's advancements in formal verification for blockchain smart contracts. Formal verification strengthens the security and reliability of decentralized applications on the Aleo platform, lowering risk for DeFi protocols and privacy-focused crypto assets. This development is crucial for traders as it may lead to increased institutional trust and higher on-chain activity on Aleo, potentially impacting ALEO token liquidity and price action. Source: @1HowardWu via Twitter, May 22, 2025.